<?php
$root = $_SERVER['DOCUMENT_ROOT'];
include($root . "/util/session.php"); //checks that the user is logged in
include($root . "/util/privilege_check.php");
checkPrivilege("admin");
if (!empty($_GET['msg'])) {
	$msg = $_GET['msg'];
}
?>

<head>
	<title>Admin Menu</title>
	<link rel="stylesheet" type="text/css" href="adminStyle.css">
</head>

<?php
include($root . "/admin/header.php");
?>

<main>
	<html>

	<body>

		<div style="font-size:14px; color:#33cc33; margin-top:10px"><?php
																	if (isset($msg)) {
																		echo $msg;
																	} ?>
		</div>
		<div id="menu">
			<ul>
				<li><a href="/admin/useradd.php">Add a new user</a></li>
				<li><a href="/admin/userlist.php">List existing users</a></li>
				<li><a href="/admin/degreeAdd.php">Add a degree</a></li>
				<li><a href="/admin/degreeList.php">List degrees</a></li>
			</ul>
		</div>

	</body>

	</html>
</main>
<?php
include($root . "/admin/footer.php");
?>